单调关联系统模糊可靠度函数的性质和界

应用经典可靠性和模糊数的理论,给出了单调关联系统的模糊可靠度函数的三条性质。在较复杂的单调关联系统中,精确获得单调关联系统的模糊可靠度函数非常困难,讨论了系统模糊可靠度的界,并给出了系统模糊可靠度的界的两种求法。     

并行处理方法在液体火箭发动机三维数值模拟中的应用

本文采用预测校正的 Ｍ ａｃ Ｃｏｒｍ ａｃｋ 格式对液体火箭发动机内的复杂三维流场进行了数值模拟,并在 Ｐ Ｖ Ｍ 的微机网络机群环境下实现了并行计算。从测试结果可以看出, 并行与分布处理技术在液体火箭发动机复杂内流场的数值模拟方面能发挥重要作用。     

管理信息系统通用工具软件MT-1

MT—1是在汉字dBASE—Ⅱ的基础上开发的数据库工具软件,它具有图形化的数据描述和数据操纵语言,是一个实用的微机管理信息系统开发工具。它在图形化用户界面、数据字典、视图、数据完整性和安全性等方面优越于dBASE—Ⅱ。本文描述了MT—1的总体结构和主要功能,讨论了主要设计和实现问题。     

基于DTRC的形式自动证明平台及其应用

动态项重写计算(DTRC)是项重写系统(TRS)的元计算模型,具有层次化结构和动态重写等特征,可应用于归纳定理的形式自动证明以及项重写系统弱终止性的形式自动证明等方面.文中介绍了一个基于DTRC的形式自动证明平台及其在TRS弱终止性自动证明上的应用.     

基于MAS的武器装备供应管理支持系统设计

对武器装备供应管理系统结构和功能进行了分析,给出系统的一般构成模式和运行要求,阐明了其所需的决策支持;以系统一般模式为背景,探讨了利用多Agent系统理论构建装备供应管理支持系统的思路,提出支持系统的组成框架,并说明了其主要特点;最后,对支持系统的信息监控过程做了具体研究,给出了相应程序。     

A novel launch dynamics measurement system for multiple launch rocket system and comparative analysis with numerical simulations

In this paper,a novel launch dynamics measurement system based on the photoelectric sensor pair is built.The actual muzzle time(i.e.a time duration that originates from the initial movement to the rocket's departure from the muzzle)and the muzzle velocity are measured.Compared with the classical methods,the actual muzzle time is obtained by eliminating the ignition delay.The comparative analysis method is proposed with numerical simulations established by the transfer matrix method for multibody systems.The experiment results indicate that the proposed measurement system can effectively measure the actual muzzle time and reduce the error of classical methods,which match well with the simulation results showing the launch dynamics model is reliable and helpful for further analysis and design of the MLRS.     

公度时滞系统的有理镇定补偿器

讨论了具有公度时滞系统的有理函数镇定补偿器的条件和算法.在不含时滞的名义系统为最小相位的条件下,可设计一簇常数补偿器镇定具有公度的无限时滞系统;在不含时滞的名义系统可强镇定的条件下,可设计一簇有理函数补偿器镇定具有公度的有限时滞系统.给出了相应时滞补偿器的具体算法.设计者可从这簇补偿器中选取一个最优的补偿器满足特定的设计要求.     

装备保障战备评估指标体系的建立

装备保障战备评估是一个新的概念,建立装甲装备战各评估指标体系是装备管理中的一项重要工作,通过介绍战备、评估、战备评估的概念,分析了建立装备保障战备综合指标体系的必要性,围绕装备、器材、人员、设备、维修、战备方案、战备训练、战备设施等几个方面的内容,论述了建立装备保障战备评估体系步骤和方法,实现战各工作的全程量化管理.     

Optimal inventory control policy for periodic‐review inventory systems with inventory‐level‐dependent demand

We consider a setting in which inventory plays both promotional and service roles; that is, higher inventories not only improve service levels but also stimulate demand by serving as a promotional tool (e.g., as the result of advertising effect by the enhanced product visibility). Specifically, we study the periodic‐review inventory systems in which the demand in each period is uncertain but increases with the inventory level. We investigate the multiperiod model with normal and expediting orders in each period, that is, any shortage will be met through emergency replenishment. Such a model takes the lost sales model as a special case. For the cases without and with fixed order costs, the optimal inventory replenishment policy is shown to be of the base‐stock type and of the (s,S) type, respectively. © 2012 Wiley Periodicals, Inc. Naval Research Logistics, 2012     

网络时代与高校德育的路径选择

网络时代的到来,给高校德育带来了新的一面,同时也给高校德育工作带来了巨大的冲击,在新的时代,高校教育工作者更应该把德育放在各科教育工作的首位,利用好这把"双刃剑",对高校德育进行路径选择。